#include <stdio.h>
namespace CWARN_CMPCHR_EOF {
	void read_file_bad(FILE* file) {
		char c;
		do {
			c = fgetc(file);
		} while (c != EOF);
	}

	void read_file_good(FILE* file) {
		int c;
		do {
			c = fgetc(file);
		} while (c != EOF);
	}
}